and Models of Computer Programming - PDFSEARCH.IO - Document Search Engine

and Models of Computer Programming
Results: 208

#	Item
91	Quantum boolean functions Ashley Montanaro∗ and Tobias J. Osborne† April 12, 2010 Abstract In this paper we introduce the study of quantum boolean functions, which are unitary Add to Reading List Source URL: www.damtp.cam.ac.uk Language: English - Date: 2010-04-12 04:17:34 Quantum mechanics Models of computation Quantum algorithm Quantum error correction Quantum measurement Quantum computer Quantum circuit Boolean algebra Quantum programming Theoretical computer science Quantum information science Applied mathematics
92	A On Contract Satisfaction in a Higher-Order World CHRISTOS DIMOULAS and MATTHIAS FELLEISEN, Northeastern University, Boston, MA Behavioral software contracts have become a popular mechanism for specifying and ensuring l Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Models of computation Logic in computer science Programming language semantics Racket Denotational semantics Eiffel Matthias Felleisen Design by contract Lambda calculus Software engineering Computing Computer programming
93	Structural Complexity And The Acquisition Of Recursive Locative PPs Tyler Peterson (Arizona), Ana Pérez-Leroux (Toronto), Anny Castilla-Earls (SUNY/Fredonia), Susana Béjar, Diane Massam (Toronto) Phase-based models of Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:13:42 Programming idioms Grammar Theoretical computer science Computability theory Theory of computation Recursion Semantics Syntax Preposition and postposition Linguistics Computer programming Mathematics
94	From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Functional languages Models of computation Racket Formal languages Lambda calculus ALGOL 68 Lazy evaluation Fold Regular expression Software engineering Computing Computer programming
95	Integrating Hands-on Work into the Formal Languages Course via Tools and Programming Susan H. Rodger Department of Computer Science Duke University Durham, NC[removed] Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1998-09-22 13:06:06 Theoretical computer science Pushdown automaton Deterministic pushdown automaton Nondeterministic finite automaton Finite-state machine Non-deterministic Turing machine Turing machine LL parser LR parser Theory of computation Automata theory Models of computation
96	16 Comparison of the Models of Organisation Chapters 14 and 15 respectively presented two models of application organisation: The functional/modular model and the object model. These two models address, each in Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Functional languages Type theory Java programming language Program analysis Type system Generic programming OCaml Objective-C Constructor Software engineering Computer programming Computing
97	Specification of Graphical Representations using hypergraphs or meta-models? Merete Skjelten Tveit Faculty of Engineering and Science, University of Agder Grooseveien 36, N-4876 Grimstad, Norway [removed] Add to Reading List Source URL: www.nik.no Language: English - Date: 2009-01-21 06:22:42 Systems engineering Diagrams ISO standards Knowledge representation Hypergraph Modeling language Graph rewriting Unified Modeling Language Syntax Software engineering Computing Computer programming
98	αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:22 Models of computation Admissible rule Modal logic Symbol Lambda calculus Unification Structure Mathematical logic Mathematics Logic
99	Functional High Performance Financial IT The Hiperfit? Research Center in Copenhagen – Project Paper – Jost Berthold1 , Andrzej Filinski1 , Fritz Henglein1 , Ken Friis Larsen1 , Mogens Steffensen2 , and Brian Vinter3 Add to Reading List Source URL: hiperfit.dk Language: English Programming paradigms Functional languages Parallel computing Array programming languages Models of computation NESL Haskell Parallel programming model Declarative programming Computing Software engineering Computer programming
100	LLparse and LRparse: Visual and Interactive Tools for Parsing Stephen A. Blythe, Michael C. James, and Susan H. Rodger1 Department of Computer Science Rensselaer Polytechnic Institute Troy, NY[removed]email: rodger@cs Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2003-06-18 09:05:39 Software engineering Theoretical computer science Automata theory Models of computation LR parser LL parser Parsing Bottom-up parsing Parsing table Programming language implementation Compiler construction Formal languages

UPDATE